FUN1 uint128 NULL 1 0 NULL NULL
FUN2 void FUN1 1 4 CALL NORM
VAR0 FUN2 3 WHILE BOOL
